Security kernel - PDFSEARCH.IO - Document Search Engine

Security kernel
Results: 400

#	Item
171	capDL: A Language for Describing Capability-Based Systems Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker NICTA and University of New South Wales Sydney, Australia Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Access control Capability-based security Microkernel L4 microkernel family Coyotos EROS Formal verification Kernel Isabelle Computer architecture Security Computer security
172	MITILCS/TR-196 FINAL REPORT OF THE MUL TICS KERNEL DESIGN PROJECT Schroeder, Clark, Saltzer & Wells Add to Reading List Source URL: web.mit.edu Language: English - Date: 2011-05-17 23:56:47 Multics Ring Jerome H. Saltzer Operating system Kernel Computer security Linux kernel THE multiprogramming system David D. Clark Computer architecture Software System software
173	Security Now! #[removed]Freak & RowHammer This week on Security Now! ● ● ● Add to Reading List Source URL: www.grc.com Language: English - Date: 2015-03-12 10:53:46 News aggregators Dynamic random-access memory ITunes IPhone BIOS Memory refresh Solid-state drive Mac OS X Linux kernel Software Computing Computer memory
174	AN EVOLUTION IN LIVE FORENSICS Helix3 Live CDROM will evolve April, 2009. * What you can expect from Helix3 Pro: • • Add to Reading List Source URL: www.e-fense.com Language: English - Date: 2010-09-10 12:55:51 Computer security Malware Rootkit Mac OS X Live CD Loadable kernel module Mac OS Software Computer architecture System software
175	SELinux Quick Start Guide SELinux Quick Start Guide Revision History Revision $Revision: 1.1 $ $Date: [removed]:21:26 $ Revised by: pd Add to Reading List Source URL: www.engardelinux.org Language: English - Date: 2006-01-03 14:54:00 National Security Agency Security-Enhanced Linux Mandatory access control Access control Linux Security Modules Extended file attributes Linux kernel Fedora Debian Software System software Computer security
176	Security model for embedded systems using Smack * Add to Reading List Source URL: archive.fosdem.org Language: English - Date: 2014-10-24 07:45:55 Simplified Mandatory Access Control Kernel Installation software Mandatory access control Kernel Installer Thread System software Computer security Software
177	Principles, Meet Practice An Early Retrospective on SAFE ^ (incomplete, personal...) Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-01-25 22:33:18 Operating system Computer security Mach Field-programmable gate array Google Chrome OS Ring Exokernel Computer architecture Security Kernel
178	Trustworthy Embedded Systems http://www.ertos.nicta.com.au/ Trustworthy Embedded Systems ERTOS-2 Project Plan 2009–2013 [removed] Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:39 Real-time operating systems Trusted computing base Embedded operating systems Microkernel L4 microkernel family Evaluation Multiple Independent Levels of Security Multilevel security Kernel Computer architecture Computer security Computing
179	Locked Bag 9013 Alexandria NSW 1435 Tel: +[removed]Fax: + [removed]CRL - Canberra Research Laboratory Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:52:49 L4 microkernel family Technology Computing Framework Programmes for Research and Technological Development Ambient intelligence Capability-based security Australian National University Academia NICTA Open Kernel Labs Gernot Heiser
180	PDF Document Add to Reading List Source URL: svn.ntop.org Language: English - Date: 2014-05-06 09:37:20 Computer network security Computer networking Cyberwarfare Data security Firewall New API Pcap Transmission Control Protocol Kernel Software Computing System software

UPDATE